1st INCF Workshop on Needs for Training in Neuroinformatics

Workshop report: INCF short course on neuroinformatics, neurogenomics, and brain disease, 14–21 September 2013

J. Alexander Heimel*, Rupert W. Overall and Robert W. Williams 1 Cortical Structure and Function Group, Netherlands Institute for Neuroscience, Amsterdam, Netherlands 2 Genomics of Regeneration, Center for Regenerative Therapies Dresden, Technische Universität Dresden, Dresden, Germany 3 Department of Genetics, Genomics and Informatics, Center for Integrative and Translational Genomics, Univers...

Neuroimaging Database Integration 1st Incf Workshop on Neuroimaging Database Integration Scientific Organizer Workshop Participants Supported by the Eu Special Support Action Incf, the Incf Central Fund and the Swedish Foundation for Strategic Research Contents

1st International Workshop on Web Dynamics

After crawling and keyword indexing, the next wave that has made a significant impact on Web search is topic distillation: analyzing properties of the hyperlink graph for enhanced ranking of Web pages in response to a query. Hyperlink induced topic search (HITS) and PageRank (used in Google) are two examples. The linear algebra involved in HITS and PageRank is standard, but selecting the releva...

1st Irish Workshop on Formal Methods

A formal specification is presented in the Z language for a simplified version of the Single Transferable Vote form of election. This is a correctness-critical application which is one of a class of related and interesting applications, i.e. electoral models. This specification is based on the form of election defined by the Students’ Representative Council of the University of Cape Town , and ...

Large-scale Modeling of the Nervous System 1st Incf Workshop on Large-scale Modeling of the Nervous System Scientific Organizer Workshop Participants Supported by the Incf Central Fund and the Swedish Foundation for Strategic Research